#!/bin/bash

while true; do
	sol="$(runhaskell Task3.hs | yices -e | perl nonsol.pl)"
	sed "s/--more/$sol\n--more/" -i Task3.hs
	echo "$sol"
done;
